Don't use $MAKEINFO for both a flag and a program.
authorGlenn Morris <rgm@gnu.org>
Wed, 5 Jan 2011 07:10:47 +0000 (23:10 -0800)
committerGlenn Morris <rgm@gnu.org>
Wed, 5 Jan 2011 07:10:47 +0000 (23:10 -0800)
commit00faea6126e69d0855485808cc196ef5223a3288
treeb1c31272d862246bd417805f861b4fd1892329cb
parent380616dc653d06eeeb90c05c0eedb30987df9669
Don't use $MAKEINFO for both a flag and a program.

* configure.in (HAVE_MAKEINFO): New output variable.
(MAKEINFO): Reset to "makeinfo" if not found.

* Makefile.in (install-arch-indep, info):
Replace MAKEINFO = off with HAVE_MAKEINFO = no.
ChangeLog
Makefile.in
configure.in